Une logique conflictuelle: double négation et devenir, méthode

Une logique conflictuelle selon Carlos Derbez: La dialectique homme-machine

L'article qui suit termine l'exposé de Carlos Derbez sur une logique conflictuelle. Les parties traitées sont la double négation et devenir, puis la méthode de la logique conflictuelle. " Cette logique, synthèse de la logique mathématique et de la dialectique, permet d'établir pas à pas et pour nos situations conflictuelles quotidiennes, les choix clairs sur lesquels est fondée une construction...

Une logique conflictuelle: introduction, choix conflictuels et adaptations

Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles

Extracting critical scenarios from a Petri net model using linear logic

RÉSUMÉ. La connaissance des scénarios critiques est indispensable, dès la phase de conception des systèmes mécatroniques, afin d’estimer leur sûreté de fonctionnement. Ceci permet de valider les reconfigurations et d’orienter le choix de l’architecture de ces systèmes. Cet article présente une méthode de recherche de scénarios potentiellement dangereux dans un cadre formel (logique linéaire) à ...

Résolution exacte et approchée de problèmes de décision markoviens formulés en logique propositionnelle

RÉSUMÉ. Nous présentons une méthode factorisée de résolution de Processus de Décision Markoviens formulés en logique propositionnelle. Nous montrons que la complexité de la résolution de tels problèmes dépend directement de celles des opérations logiques mises en œuvre telles que le test de satisfaisabilité. Afin de réduire cette complexité, nous proposons une méthode d’approximation des problè...